机译:扩展用于表达Web服务自适应的策略语言
机译:各种技术,用于验证片上系统设计的语言
机译:验证基于策略的Web服务安全
机译:Tisa:Web服务中的时间策略的语言设计和模块化验证技术
机译:用于语义Web服务组合的数学框架及其在模块化产品设计中的应用。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:使用高效的符号编码和摘要进行Web服务的模块化验证
机译:使用Web本体语言的语义Web服务(OWL-s) - DaRpa代理标记语言(DamL)的代理服务规范